ReP USP - Resultado da busca

Tese (Doutorado)
Representação de sistemas biológicos a partir de sistemas dinâmicos: controle da transcrição a partir do estrógeno (2008)
Ris, Marcelo; Barrera, Júnior (Orientador); Brentani, Helena (coorient)
Unidade: BIOINFORMÁTICA
Subjects: BIOINFORMÁTICA, RECONHECIMENTO DE PADRÕES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RIS, Marcelo. Representação de sistemas biológicos a partir de sistemas dinâmicos: controle da transcrição a partir do estrógeno. 2008. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/95/95131/tde-27052008-170955/. Acesso em: 14 maio 2024.
APA
Ris, M. (2008). Representação de sistemas biológicos a partir de sistemas dinâmicos: controle da transcrição a partir do estrógeno (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/95/95131/tde-27052008-170955/
NLM
Ris M. Representação de sistemas biológicos a partir de sistemas dinâmicos: controle da transcrição a partir do estrógeno [Internet]. 2008 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/95/95131/tde-27052008-170955/
Vancouver
Ris M. Representação de sistemas biológicos a partir de sistemas dinâmicos: controle da transcrição a partir do estrógeno [Internet]. 2008 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/95/95131/tde-27052008-170955/
Dissertação (Mestrado)
Correspondência inexata entre grafos (2008)
Freire, Alexandre da Silva; Ferreira, Carlos Eduardo (Orientador)
Unidade: IME
Assunto: OTIMIZAÇÃO COMBINATÓRIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FREIRE, Alexandre da Silva. Correspondência inexata entre grafos. 2008. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-16092008-133830/. Acesso em: 14 maio 2024.
APA
Freire, A. da S. (2008). Correspondência inexata entre grafos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-16092008-133830/
NLM
Freire A da S. Correspondência inexata entre grafos [Internet]. 2008 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-16092008-133830/
Vancouver
Freire A da S. Correspondência inexata entre grafos [Internet]. 2008 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-16092008-133830/
Tese (Doutorado)
Construções genéricas de espaços de Asplund C(K) (2008)
Brech, Christina ; Koszmider, Piotr Boleslaw (Orientador)
Unidade: IME
Subjects: ANÁLISE FUNCIONAL, ANÁLISE FUNCIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRECH, Christina. Construções genéricas de espaços de Asplund C(K). 2008. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-06062008-112930/. Acesso em: 14 maio 2024.
APA
Brech, C. (2008). Construções genéricas de espaços de Asplund C(K) (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45131/tde-06062008-112930/
NLM
Brech C. Construções genéricas de espaços de Asplund C(K) [Internet]. 2008 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-06062008-112930/
Vancouver
Brech C. Construções genéricas de espaços de Asplund C(K) [Internet]. 2008 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-06062008-112930/
Trabalho de evento
A backmapping approach for graph-based object tracking (2008)
Paixão, Thiago Meireles; Graciano, Ana Beatriz Vicentim; César Júnior, Roberto Marcondes ; Hirata Júnior, Roberto
Source: Proceedings. Conference titles: Brazilian Symposium on Computer Graphics and Image Processing - SIBGRAPI. Unidade: IME
Subjects: COMPUTAÇÃO GRÁFICA, RECONHECIMENTO DE PADRÕES, PROCESSAMENTO DE SINAIS DE VÍDEO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PAIXÃO, Thiago Meireles et al. A backmapping approach for graph-based object tracking. 2008, Anais.. Piscataway: IEEE, 2008. Disponível em: https://doi.org/10.1109/SIBGRAPI.2008.32. Acesso em: 14 maio 2024.
APA
Paixão, T. M., Graciano, A. B. V., César Júnior, R. M., & Hirata Júnior, R. (2008). A backmapping approach for graph-based object tracking. In Proceedings. Piscataway: IEEE. doi:10.1109/SIBGRAPI.2008.32
NLM
Paixão TM, Graciano ABV, César Júnior RM, Hirata Júnior R. A backmapping approach for graph-based object tracking [Internet]. Proceedings. 2008 ;[citado 2024 maio 14 ] Available from: https://doi.org/10.1109/SIBGRAPI.2008.32
Vancouver
Paixão TM, Graciano ABV, César Júnior RM, Hirata Júnior R. A backmapping approach for graph-based object tracking [Internet]. Proceedings. 2008 ;[citado 2024 maio 14 ] Available from: https://doi.org/10.1109/SIBGRAPI.2008.32
Artigo de periodico
Estimation of the mean quality-adjusted survival using a multistate model for the sojourn times (2008)
Tunes, Gisela ; Sen, Pranab Kumar; Lima, Antonio Carlos Pedroso de
Source: Journal of Statistical Planning and Inference. Unidade: IME
Assunto: ANÁLISE DE SOBREVIVÊNCIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TUNES, Gisela e SEN, Pranab Kumar e LIMA, Antonio Carlos Pedroso de. Estimation of the mean quality-adjusted survival using a multistate model for the sojourn times. Journal of Statistical Planning and Inference, v. 138, n. 8, p. 2267-2282, 2008Tradução . . Disponível em: https://doi.org/10.1016/j.jspi.2007.10.010. Acesso em: 14 maio 2024.
APA
Tunes, G., Sen, P. K., & Lima, A. C. P. de. (2008). Estimation of the mean quality-adjusted survival using a multistate model for the sojourn times. Journal of Statistical Planning and Inference, 138( 8), 2267-2282. doi:10.1016/j.jspi.2007.10.010
NLM
Tunes G, Sen PK, Lima ACP de. Estimation of the mean quality-adjusted survival using a multistate model for the sojourn times [Internet]. Journal of Statistical Planning and Inference. 2008 ; 138( 8): 2267-2282.[citado 2024 maio 14 ] Available from: https://doi.org/10.1016/j.jspi.2007.10.010
Vancouver
Tunes G, Sen PK, Lima ACP de. Estimation of the mean quality-adjusted survival using a multistate model for the sojourn times [Internet]. Journal of Statistical Planning and Inference. 2008 ; 138( 8): 2267-2282.[citado 2024 maio 14 ] Available from: https://doi.org/10.1016/j.jspi.2007.10.010
Trabalho de evento
PCA-based 3D face photography (2008)
Mena-Chalco, Jesús Pascual; Macêdo, Ives; Velho, Luiz; César Júnior, Roberto Marcondes
Source: Proceedings. Conference titles: Brazilian Symposium on Computer Graphics and Image Processing - SIBGRAPI. Unidade: IME
Assunto: GEOMETRIA E MODELAGEM COMPUTACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MENA-CHALCO, Jesús Pascual et al. PCA-based 3D face photography. 2008, Anais.. Piscataway: IEEE, 2008. Disponível em: https://doi.org/10.1109/SIBGRAPI.2008.40. Acesso em: 14 maio 2024.
APA
Mena-Chalco, J. P., Macêdo, I., Velho, L., & César Júnior, R. M. (2008). PCA-based 3D face photography. In Proceedings. Piscataway: IEEE. doi:10.1109/SIBGRAPI.2008.40
NLM
Mena-Chalco JP, Macêdo I, Velho L, César Júnior RM. PCA-based 3D face photography [Internet]. Proceedings. 2008 ;[citado 2024 maio 14 ] Available from: https://doi.org/10.1109/SIBGRAPI.2008.40
Vancouver
Mena-Chalco JP, Macêdo I, Velho L, César Júnior RM. PCA-based 3D face photography [Internet]. Proceedings. 2008 ;[citado 2024 maio 14 ] Available from: https://doi.org/10.1109/SIBGRAPI.2008.40
Trabalho de evento
Dynamic support to transactional remote invocations over multiple transports (2008)
Reverbel, Francisco Carlos da Rocha ; Silva Neto, Ivan
Source: Proceedings. Conference titles: Symposium on Applied Computing - SAC. Unidade: IME
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
REVERBEL, Francisco Carlos da Rocha e SILVA NETO, Ivan. Dynamic support to transactional remote invocations over multiple transports. 2008, Anais.. New York: ACM, 2008. Disponível em: https://doi.org/10.1145/1363686.1363809. Acesso em: 14 maio 2024.
APA
Reverbel, F. C. da R., & Silva Neto, I. (2008). Dynamic support to transactional remote invocations over multiple transports. In Proceedings. New York: ACM. doi:10.1145/1363686.1363809
NLM
Reverbel FC da R, Silva Neto I. Dynamic support to transactional remote invocations over multiple transports [Internet]. Proceedings. 2008 ;[citado 2024 maio 14 ] Available from: https://doi.org/10.1145/1363686.1363809
Vancouver
Reverbel FC da R, Silva Neto I. Dynamic support to transactional remote invocations over multiple transports [Internet]. Proceedings. 2008 ;[citado 2024 maio 14 ] Available from: https://doi.org/10.1145/1363686.1363809
Artigo de periodico
On the resilience of long cycles in random graphs (2008)
Dellamonica Junior, Domingos; Kohayakawa, Yoshiharu ; Marciniszyn, Martin; Steger, Angelika
Source: Electronic Journal of Combinatorics. Unidade: IME
Assunto: TEORIA DOS GRAFOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DELLAMONICA JUNIOR, Domingos et al. On the resilience of long cycles in random graphs. Electronic Journal of Combinatorics, v. 15, n. 1, p. 1-26, 2008Tradução . . Disponível em: https://www.combinatorics.org/ojs/index.php/eljc/article/view/v15i1r32. Acesso em: 14 maio 2024.
APA
Dellamonica Junior, D., Kohayakawa, Y., Marciniszyn, M., & Steger, A. (2008). On the resilience of long cycles in random graphs. Electronic Journal of Combinatorics, 15( 1), 1-26. Recuperado de https://www.combinatorics.org/ojs/index.php/eljc/article/view/v15i1r32
NLM
Dellamonica Junior D, Kohayakawa Y, Marciniszyn M, Steger A. On the resilience of long cycles in random graphs [Internet]. Electronic Journal of Combinatorics. 2008 ; 15( 1): 1-26.[citado 2024 maio 14 ] Available from: https://www.combinatorics.org/ojs/index.php/eljc/article/view/v15i1r32
Vancouver
Dellamonica Junior D, Kohayakawa Y, Marciniszyn M, Steger A. On the resilience of long cycles in random graphs [Internet]. Electronic Journal of Combinatorics. 2008 ; 15( 1): 1-26.[citado 2024 maio 14 ] Available from: https://www.combinatorics.org/ojs/index.php/eljc/article/view/v15i1r32
Artigo de periodico
Central units in metacyclic integral group rings (2008)
Ferraz, Raul Antonio ; Simón-Pınero, Juan Jacobo
Source: Communications in Algebra. Unidade: IME
Subjects: ANÉIS DE GRUPOS, GRUPOS FINITOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FERRAZ, Raul Antonio e SIMÓN-PINERO, Juan Jacobo. Central units in metacyclic integral group rings. Communications in Algebra, v. 36, n. 10, p. 3708-3722, 2008Tradução . . Disponível em: https://doi.org/10.1080/00927870802158028. Acesso em: 14 maio 2024.
APA
Ferraz, R. A., & Simón-Pınero, J. J. (2008). Central units in metacyclic integral group rings. Communications in Algebra, 36( 10), 3708-3722. doi:10.1080/00927870802158028
NLM
Ferraz RA, Simón-Pınero JJ. Central units in metacyclic integral group rings [Internet]. Communications in Algebra. 2008 ; 36( 10): 3708-3722.[citado 2024 maio 14 ] Available from: https://doi.org/10.1080/00927870802158028
Vancouver
Ferraz RA, Simón-Pınero JJ. Central units in metacyclic integral group rings [Internet]. Communications in Algebra. 2008 ; 36( 10): 3708-3722.[citado 2024 maio 14 ] Available from: https://doi.org/10.1080/00927870802158028
Trabalho de evento
Universality of random graphs (2008)
Dellamonica Junior, Domingos; Kohayakawa, Yoshiharu ; RÖdlt, VojtĚch; Ruciński, Andrzej
Source: Proceedings. Conference titles: ACM-SIAM Symposium on Discrete Algorithms - SODA. Unidade: IME
Assunto: TEORIA DOS GRAFOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DELLAMONICA JUNIOR, Domingos et al. Universality of random graphs. 2008, Anais.. Philadelphia: SIAM, 2008. Disponível em: https://dl.acm.org/citation.cfm?id=1347168. Acesso em: 14 maio 2024.
APA
Dellamonica Junior, D., Kohayakawa, Y., RÖdlt, V. Ě., & Ruciński, A. (2008). Universality of random graphs. In Proceedings. Philadelphia: SIAM. Recuperado de https://dl.acm.org/citation.cfm?id=1347168
NLM
Dellamonica Junior D, Kohayakawa Y, RÖdlt VĚ, Ruciński A. Universality of random graphs [Internet]. Proceedings. 2008 ;[citado 2024 maio 14 ] Available from: https://dl.acm.org/citation.cfm?id=1347168
Vancouver
Dellamonica Junior D, Kohayakawa Y, RÖdlt VĚ, Ruciński A. Universality of random graphs [Internet]. Proceedings. 2008 ;[citado 2024 maio 14 ] Available from: https://dl.acm.org/citation.cfm?id=1347168
Artigo de periodico
Nuclear and mitochondrial phylogeography of the Atlantic forest endemic Xiphorhynchus fuscus (Aves: Dendrocolaptidae): biogeography and systematics implications (2008)
Cabanne, Gustavo S ; D'Horta, Fernando M; Sari, Eloisa H. R; Santos, Fabrício R ; Miyaki, Cristina Yumi
Source: Molecular Phylogenetics and Evolution. Unidade: IB
Subjects: BIOGEOGRAFIA, GENÉTICA DE POPULAÇÕES, PASSERIFORMES, AVES, ECOLOGIA MOLECULAR, PASSERIFORMES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CABANNE, Gustavo S et al. Nuclear and mitochondrial phylogeography of the Atlantic forest endemic Xiphorhynchus fuscus (Aves: Dendrocolaptidae): biogeography and systematics implications. Molecular Phylogenetics and Evolution, v. 49, n. 3, p. 760-773, 2008Tradução . . Disponível em: https://doi.org/10.1016/j.ympev.2008.09.013. Acesso em: 14 maio 2024.
APA
Cabanne, G. S., D'Horta, F. M., Sari, E. H. R., Santos, F. R., & Miyaki, C. Y. (2008). Nuclear and mitochondrial phylogeography of the Atlantic forest endemic Xiphorhynchus fuscus (Aves: Dendrocolaptidae): biogeography and systematics implications. Molecular Phylogenetics and Evolution, 49( 3), 760-773. doi:10.1016/j.ympev.2008.09.013
NLM
Cabanne GS, D'Horta FM, Sari EHR, Santos FR, Miyaki CY. Nuclear and mitochondrial phylogeography of the Atlantic forest endemic Xiphorhynchus fuscus (Aves: Dendrocolaptidae): biogeography and systematics implications [Internet]. Molecular Phylogenetics and Evolution. 2008 ; 49( 3): 760-773.[citado 2024 maio 14 ] Available from: https://doi.org/10.1016/j.ympev.2008.09.013
Vancouver
Cabanne GS, D'Horta FM, Sari EHR, Santos FR, Miyaki CY. Nuclear and mitochondrial phylogeography of the Atlantic forest endemic Xiphorhynchus fuscus (Aves: Dendrocolaptidae): biogeography and systematics implications [Internet]. Molecular Phylogenetics and Evolution. 2008 ; 49( 3): 760-773.[citado 2024 maio 14 ] Available from: https://doi.org/10.1016/j.ympev.2008.09.013
Tese (Doutorado)
Efeitos do treinamento de força na aptidão física e em indicadores de qualidade de vida de indivíduos com claudicação intermitente (2008)
Dias, Raphael Mendes Ritti; Marucci, Maria de Fatima Nunes (Orientador)
Unidade: FSP
Subjects: TERAPIA POR EXERCÍCIO, APTIDÃO FÍSICA, EXERCÍCIOS DE RESISTÊNCIA MUSCULAR, PERNA (EXERCÍCIOS;TERAPIA), DOENÇAS VASCULARES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DIAS, Raphael Mendes Ritti. Efeitos do treinamento de força na aptidão física e em indicadores de qualidade de vida de indivíduos com claudicação intermitente. 2008. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2008. Disponível em: https://doi.org/10.11606/T.6.2008.tde-01102008-133731. Acesso em: 14 maio 2024.
APA
Dias, R. M. R. (2008). Efeitos do treinamento de força na aptidão física e em indicadores de qualidade de vida de indivíduos com claudicação intermitente (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://doi.org/10.11606/T.6.2008.tde-01102008-133731
NLM
Dias RMR. Efeitos do treinamento de força na aptidão física e em indicadores de qualidade de vida de indivíduos com claudicação intermitente [Internet]. 2008 ;[citado 2024 maio 14 ] Available from: https://doi.org/10.11606/T.6.2008.tde-01102008-133731
Vancouver
Dias RMR. Efeitos do treinamento de força na aptidão física e em indicadores de qualidade de vida de indivíduos com claudicação intermitente [Internet]. 2008 ;[citado 2024 maio 14 ] Available from: https://doi.org/10.11606/T.6.2008.tde-01102008-133731
Tese (Doutorado)
Imersões isométricas em 3-variedades Lorentzianas homogêneas (2008)
Manfio, Fernando; Piccione, Paolo (Orientador)
Unidade: IME
Assunto: GEOMETRIA DIFERENCIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MANFIO, Fernando. Imersões isométricas em 3-variedades Lorentzianas homogêneas. 2008. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-01072008-163534. Acesso em: 14 maio 2024.
APA
Manfio, F. (2008). Imersões isométricas em 3-variedades Lorentzianas homogêneas (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45131/tde-01072008-163534
NLM
Manfio F. Imersões isométricas em 3-variedades Lorentzianas homogêneas [Internet]. 2008 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-01072008-163534
Vancouver
Manfio F. Imersões isométricas em 3-variedades Lorentzianas homogêneas [Internet]. 2008 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-01072008-163534
Artigo de periodico
Computational methods in noncoding RNA research (2008)
Lima, Ariane Machado ; Del Portillo, Hernando Antonio ; Durham, Alan Mitchell
Source: Journal of Mathematical Biology. Unidade: IME
Assunto: BIOMATEMÁTICA (SIMULAÇÃO COMPUTACIONAL)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LIMA, Ariane Machado e DEL PORTILLO, Hernando Antonio e DURHAM, Alan Mitchell. Computational methods in noncoding RNA research. Journal of Mathematical Biology, v. 56, n. 1-2, p. 15-49, 2008Tradução . . Disponível em: https://doi-org.ez67.periodicos.capes.gov.br/10.1007/s00285-007-0122-6. Acesso em: 14 maio 2024.
APA
Lima, A. M., Del Portillo, H. A., & Durham, A. M. (2008). Computational methods in noncoding RNA research. Journal of Mathematical Biology, 56( 1-2), 15-49. doi:10.1007/s00285-007-0122-6
NLM
Lima AM, Del Portillo HA, Durham AM. Computational methods in noncoding RNA research [Internet]. Journal of Mathematical Biology. 2008 ; 56( 1-2): 15-49.[citado 2024 maio 14 ] Available from: https://doi-org.ez67.periodicos.capes.gov.br/10.1007/s00285-007-0122-6
Vancouver
Lima AM, Del Portillo HA, Durham AM. Computational methods in noncoding RNA research [Internet]. Journal of Mathematical Biology. 2008 ; 56( 1-2): 15-49.[citado 2024 maio 14 ] Available from: https://doi-org.ez67.periodicos.capes.gov.br/10.1007/s00285-007-0122-6
Trabalho de evento
Using annotations in the naked objects framework to explore data requirements (2008)
Broinizi, Marcos Eduardo Bolelli; Ferreira, João Eduardo ; Goldman, Alfredo
Source: Proceedings. Conference titles: Symposium on Applied Computing - SAC. Unidade: IME
Subjects: MÉTODOS ÁGEIS, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BROINIZI, Marcos Eduardo Bolelli e FERREIRA, João Eduardo e GOLDMAN, Alfredo. Using annotations in the naked objects framework to explore data requirements. 2008, Anais.. New York: ACM, 2008. Disponível em: https://doi.org/10.1145/1363686.1363838. Acesso em: 14 maio 2024.
APA
Broinizi, M. E. B., Ferreira, J. E., & Goldman, A. (2008). Using annotations in the naked objects framework to explore data requirements. In Proceedings. New York: ACM. doi:10.1145/1363686.1363838
NLM
Broinizi MEB, Ferreira JE, Goldman A. Using annotations in the naked objects framework to explore data requirements [Internet]. Proceedings. 2008 ;[citado 2024 maio 14 ] Available from: https://doi.org/10.1145/1363686.1363838
Vancouver
Broinizi MEB, Ferreira JE, Goldman A. Using annotations in the naked objects framework to explore data requirements [Internet]. Proceedings. 2008 ;[citado 2024 maio 14 ] Available from: https://doi.org/10.1145/1363686.1363838
Trabalho de evento
Using formal verification to reduce test space of fault-tolerant programs (2008)
Xavier, Kleber da Silva; Hanazumi , Simone; Melo, Ana Cristina Vieira de
Source: Proceedings. Conference titles: International Conference on Software Engineering and Formal Methods - SEFM. Unidade: IME
Subjects: PROGRAMAÇÃO ORIENTADA A OBJETOS, JAVA, TESTE E AVALIAÇÃO DE SOFTWARE, LÓGICA FORMAL, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
XAVIER, Kleber da Silva e HANAZUMI , Simone e MELO, Ana Cristina Vieira de. Using formal verification to reduce test space of fault-tolerant programs. 2008, Anais.. Piscataway: IEEE, 2008. Disponível em: https://doi.org/10.1109/SEFM.2008.31. Acesso em: 14 maio 2024.
APA
Xavier, K. da S., Hanazumi , S., & Melo, A. C. V. de. (2008). Using formal verification to reduce test space of fault-tolerant programs. In Proceedings. Piscataway: IEEE. doi:10.1109/SEFM.2008.31
NLM
Xavier K da S, Hanazumi S, Melo ACV de. Using formal verification to reduce test space of fault-tolerant programs [Internet]. Proceedings. 2008 ;[citado 2024 maio 14 ] Available from: https://doi.org/10.1109/SEFM.2008.31
Vancouver
Xavier K da S, Hanazumi S, Melo ACV de. Using formal verification to reduce test space of fault-tolerant programs [Internet]. Proceedings. 2008 ;[citado 2024 maio 14 ] Available from: https://doi.org/10.1109/SEFM.2008.31
Trabalho de evento
Probabilistic approach for tracking mobile obstacles in urban-like environments (2008)
Becker, Marcelo ; Kolski, Sascha; Macek, Kristijan; Siegwart, Roland; Jensen, Björn
Source: Anais. Conference titles: Congresso Nacional de Engenharia Mecânica - CONEM. Unidade: EESC
Subjects: ROBÔS, AMBIENTES URBANOS, ENGENHARIA MECÂNICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BECKER, Marcelo et al. Probabilistic approach for tracking mobile obstacles in urban-like environments. 2008, Anais.. Salvador, BA: ABCM, 2008. Disponível em: https://repositorio.usp.br/directbitstream/745999f1-a5d0-46fd-b42e-98c897122451/OK___trabalho%20118%20-%20Probabilistic%20Approach%20for%20Tracking%20Mobile%20Obstacles%20in%20Urban-like%20Environments%20%28CONEM%202008%29%20%281%29.pdf. Acesso em: 14 maio 2024.
APA
Becker, M., Kolski, S., Macek, K., Siegwart, R., & Jensen, B. (2008). Probabilistic approach for tracking mobile obstacles in urban-like environments. In Anais. Salvador, BA: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/745999f1-a5d0-46fd-b42e-98c897122451/OK___trabalho%20118%20-%20Probabilistic%20Approach%20for%20Tracking%20Mobile%20Obstacles%20in%20Urban-like%20Environments%20%28CONEM%202008%29%20%281%29.pdf
NLM
Becker M, Kolski S, Macek K, Siegwart R, Jensen B. Probabilistic approach for tracking mobile obstacles in urban-like environments [Internet]. Anais. 2008 ;[citado 2024 maio 14 ] Available from: https://repositorio.usp.br/directbitstream/745999f1-a5d0-46fd-b42e-98c897122451/OK___trabalho%20118%20-%20Probabilistic%20Approach%20for%20Tracking%20Mobile%20Obstacles%20in%20Urban-like%20Environments%20%28CONEM%202008%29%20%281%29.pdf
Vancouver
Becker M, Kolski S, Macek K, Siegwart R, Jensen B. Probabilistic approach for tracking mobile obstacles in urban-like environments [Internet]. Anais. 2008 ;[citado 2024 maio 14 ] Available from: https://repositorio.usp.br/directbitstream/745999f1-a5d0-46fd-b42e-98c897122451/OK___trabalho%20118%20-%20Probabilistic%20Approach%20for%20Tracking%20Mobile%20Obstacles%20in%20Urban-like%20Environments%20%28CONEM%202008%29%20%281%29.pdf
Dissertação (Mestrado)
Geração parcial de código Java a partir de especificações formais Z (2008)
Miyazawa, Alvaro Heiji; Melo, Ana Cristina Vieira de (Orientador)
Unidade: IME
Subjects: TÉCNICAS DE PROGRAMAÇÃO, TRANSFORMAÇÃO DE PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MIYAZAWA, Alvaro Heiji. Geração parcial de código Java a partir de especificações formais Z. 2008. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02112008-224245/. Acesso em: 14 maio 2024.
APA
Miyazawa, A. H. (2008). Geração parcial de código Java a partir de especificações formais Z (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02112008-224245/
NLM
Miyazawa AH. Geração parcial de código Java a partir de especificações formais Z [Internet]. 2008 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02112008-224245/
Vancouver
Miyazawa AH. Geração parcial de código Java a partir de especificações formais Z [Internet]. 2008 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02112008-224245/
Tese (Doutorado)
Análise computacional da expressão gênica no parasita protostomado Schistosoma mansoni (2008)
Venancio, Thiago Motta; Verjovski-Almeida, Sergio (Orientador)
Unidade: BIOINFORMÁTICA
Subjects: ALGORITMOS E ESTRUTURAS DE DADOS, BIOINFORMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VENANCIO, Thiago Motta. Análise computacional da expressão gênica no parasita protostomado Schistosoma mansoni. 2008. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/95/95131/tde-11032008-175724/. Acesso em: 14 maio 2024.
APA
Venancio, T. M. (2008). Análise computacional da expressão gênica no parasita protostomado Schistosoma mansoni (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/95/95131/tde-11032008-175724/
NLM
Venancio TM. Análise computacional da expressão gênica no parasita protostomado Schistosoma mansoni [Internet]. 2008 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/95/95131/tde-11032008-175724/
Vancouver
Venancio TM. Análise computacional da expressão gênica no parasita protostomado Schistosoma mansoni [Internet]. 2008 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/95/95131/tde-11032008-175724/
Tese (Doutorado)
Morfometria computacional de órgãos de frangos de corte submetidos a duas dietas distintas: suplementação mineral quelada versus suplementação mineral tradicional (2008)
Oliveira, Rafael Carvalho de; Beletti, Marcelo Emílio (Orientador); Costa, Luciano da Fontoura (coorient)
Unidade: BIOINFORMÁTICA
Assunto: BIOINFORMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Rafael Carvalho de. Morfometria computacional de órgãos de frangos de corte submetidos a duas dietas distintas: suplementação mineral quelada versus suplementação mineral tradicional. 2008. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/95/95131/tde-06102009-102826/. Acesso em: 14 maio 2024.
APA
Oliveira, R. C. de. (2008). Morfometria computacional de órgãos de frangos de corte submetidos a duas dietas distintas: suplementação mineral quelada versus suplementação mineral tradicional (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/95/95131/tde-06102009-102826/
NLM
Oliveira RC de. Morfometria computacional de órgãos de frangos de corte submetidos a duas dietas distintas: suplementação mineral quelada versus suplementação mineral tradicional [Internet]. 2008 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/95/95131/tde-06102009-102826/
Vancouver
Oliveira RC de. Morfometria computacional de órgãos de frangos de corte submetidos a duas dietas distintas: suplementação mineral quelada versus suplementação mineral tradicional [Internet]. 2008 ;[citado 2024 maio 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/95/95131/tde-06102009-102826/

USP Schools

ReP

Filtros

USP Schools

Departament

Authors

USP affiliated authors

Subjects

Source title

Publisher

Conference titles

Funding Agencies

Indexado em

Non normalized affiliation

Countries of institutions of collaboration

Área de concentração

Sigla do Departamento/Programa de Pós Graduação

Departamento/Programa de Pós Graduação